Nuprl Definition : rel-path 11,40

rel-path(R;L) == i:{0..(||L|| - 1)}. L[iR L[(i+1)] 
latex


Definitionsx:AB(x), {i..j}, n - m, ||as||, x f y, l[i], n+m, #$n
FDL editor aliasesrel-path

origin